Interface Simulation Distances

Interface simulation distances

The classical (boolean) notion of refinement for behavioral interfaces of system components is the alternating refinement preorder. In this paper, we define a distance for interfaces, called interface simulation distance. It makes the alternating refinement preorder quantitative by, intuitively, tolerating errors (while counting them) in the alternating simulation game. We show that the interfa...

Simulation Distances

Boolean notions of correctness are formalized by preorders on systems. Quantitative measures of correctness can be formalized by realvalued distance functions between systems, where the distance between implementation and specification provides a measure of “fit” or “desirability.” We extend the simulation preorder to the quantitative setting, by making each player of a simulation game pay a ce...

Simulation of the Admittance Control Based Haptic Interface Device

simulation of the admittance control based haptic interface device

0

20/5000 Eliminate Distances

انگلستان، کشوری با فرهنگ های متعدد است. طبق آمار سال ۱۹۸۵، حدود یک درصد از جمعیت انگلستان را نژادهای آفریقایی یا منطقه کارائیب و ۲/۳ درصد آن را نژادهای آسیایی (۱/ ۴ درصد هندی، ۰/ ۷ درصد پاکستانی و ۲/۰ درصد بنگلادشی) تشکیل می دهند. حدود ۱ تا ۲ درصد از کل جمعیت انگلستان به دیابت مبتلا هستند که در سپاهان به نسبت شایعتر می باشد شیوع دیابت در نژادهای آسیایی ۳ تا ۴ برابر بیشتر از سایر نژادهای این کش...